Input–Output Tools: A Language Facility for Interactive and Real-Time Systems
نویسندگان
چکیده
منابع مشابه
Input-Output Tools: A Language Facility for Interactive and Real-Time Systems
A conceptual model is discussed which allows the hierarchic definition of high-level input driven objects, called input-output tools, from any set of basic input primitives. An input-output tool is defined as a named object. Its most important elements are the input rule, output rule, internal tool definitions, and a tool body consisting of executable statements. The input rule contains an expr...
متن کاملUsable, Real-Time, Interactive Spoken Language Systems
The primary objective of this project is to develop a robust, high-performance, domain-independent spoken language system. This system, termed HARC (Hear and Respond to Continuous speech), is composed of the BYBLOS speech recognition system and the DELPHI natural language understanding system. The goal is to develop systems that exhibit the following advances: high-accuracy speech understanding...
متن کاملA Real-Time Spoken-Language System for Interactive Problem Solving
SRI has developed a spoken language system to retrieve air travel planning information. Progress can be measured by comparing DARPA benchmark results in February 1992 and November 1992. Between February 1992 and November 1992, for all utterances tested, SRJ's word error rate in the ATIS speech recognition test improved from 11.0% to 9.1%. Weighted utterance error improved from 31.1% to 23.6% in...
متن کاملVisual Tools for Verifying Real-Time Systems
Computers are increasingly used to monitor and control safety critical systems. Real-time software controls aircraft, shuts down nuclear power reactors in emergencies, keeps telephone networks running, and monitors hospital patients. The use of computers in such systems offers considerable benefits, but also poses serious risks to life and the environment [15]. Visual tools based on extended st...
متن کاملDemo Abstract: The ESMoL Modeling Language and Tools for Synthesizing and Simulating Real-Time Embedded Systems
High-confidence embedded real-time designs stretch the demands placed on design and development tools. We will demonstrate the design and testing of an embedded control system built using the ESMoL modeling language and supporting tools. ESMoL adds distributed deployment concepts to Simulink designs, and integrates scheduling analysis as well as platformspecific simulation. The testing system i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 1983
ISSN: 0098-5589
DOI: 10.1109/tse.1983.236734